翻訳と辞書
Words near each other
・ Automatic 7
・ Automatic acoustic management
・ Automatic acquisition of lexicon
・ Automatic acquisition of sense-tagged corpora
・ Automatic activation device
・ Automatic and controlled processes (ACP)
・ Automatic Baby
・ Automatic balancing valves
・ Automatic basis function construction
・ Automatic baud rate detection
・ Automatic behavior
・ Automatic bid
・ Automatic bids to college bowl games
・ Automatic Black
・ Automatic block signaling
Automata construction
・ Automata theory
・ Automata UK
・ Automata-based programming
・ Automata-based programming (Shalyto's approach)
・ Automate (album)
・ Automate (genus)
・ Automate the Schools
・ Automate This
・ Automated aerial refueling
・ Automated airport weather station
・ Automated Alice
・ Automated analyser
・ Automated Anatomical Labeling
・ Automated attendant


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Automata construction : ウィキペディア英語版
Automata construction
In automata theory, automata construction is an important mathematical technique used to demonstrate the existence of an automaton with a certain desired property. Very often, it is presented as an algorithm that takes a desired property as input and produces as output an automaton with the property.
Many hard problems in automata theory involve finding the right construction of an automaton such that the problem can be answered. For example, the famous construction in McNaughton's Theorem answered the question if non-deterministic Büchi automaton can always be translated into a ''deterministic'' Muller automaton.
==Example==
Powerset construction is an algorithm to construct a deterministic finite automaton from a given nondeterministic finite automaton.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Automata construction」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.